<br /><strong>logged in as: 
<?php
	if(!isset($_SESSION)){
		session_start();
	}
	if(isset($_SESSION['username'])){ echo $_SESSION['username']; }
?></strong>
<h3><?php if(isset($title)){echo $title; }?></h3>
<div class=navigation>
	<a href="../../seminar_catalogue/get_seminars">View all upcoming seminars</a><br />
	<a href="../../seminar_catalogue/get_registered_seminars">My upcoming seminars</a><br />
    <a href="../../seminar_catalogue/get_attended_seminars">My attended seminars</a><br />
</div>